Tvardovskiy Alexander S., Yevtushenko Nina V. «Minimizing timed Finite State Machines» // Tomsk State University Journal of Control and Computer Science 2014. № 4(29) C.77-83
Yevtushenko N. V. , Gromov M.L. «ADAPTIVE TESTS DERIVATION FOR NON-DETERMINISTIC AUTOMATA » // 2009. №4(6) C.90-101
